a series of annual conferences of the European Association for Theoretical Computer Science (EATCS) which frsttookplacein ...
Lire la suiteThe two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th International Colloquium on Automata, ...
Lire la suiteThe two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th International Colloquium on Automata, ...
Lire la suiteThis book constitutes the refereed proceedings of the 20th International Conference on Automated Deduction, CADE-20, held ...
Lire la suiteThese proceedingsrecordthe papers presented at the Seventh InternationalC- ference of B Users (B 2007), held in the city ...
Lire la suiteThis book constitutes the thoroughly refereed post-conference proceedings of the Second IFIP TC 2 Central and East Conference ...
Lire la suiteThis book is for anyone who wants to write good C# 2008 code—even if you have never programmed before. Beginning C# 2008 ...
Lire la suiteThis book is for anyone who wants to write good C# code—even if you have never programmed before. Writing good code can ...
Lire la suiteTeaches you tools that you can use to build efficient applications. It starts with an introduction to algorithms and big ...
Lire la suiteThis book is for anyone who wants to write good Visual Basic 2008 code, even if you have never programmed before. Writing ...
Lire la suiteThis book highlights basic paradigms of problem analysis and algorithm design in the context of core bioinformatics problems. ...
Lire la suiteBotnet Detection: Countering the Largest Security Threat, a contributed volume by world-class leaders in this field, is based ...
Lire la suiteBoundary representation is the principle solid modelling method used in modern CAD/CAM systems. There have been a long series ...
Lire la suiteThe book presents 33 revised full papers together with 3 invited talks, organized in topical sections on data structures, ...
Lire la suiteThis book provides an evolutionary conceptual framework for comparative genomics, with the ultimate objective of understanding ...
Lire la suiteThis book provides an evolutionary conceptual framework for comparative genomics, with the ultimate objective of understanding ...
Lire la suiteThis state-of-the-art survey contains the papers that were invited by the organizers after conclusion of an International ...
Lire la suiteThis introduction to computational geometry focuses on algorithms. Modern insights in computational geometry are used to ...
Lire la suiteThis book constitutes the thoroughly refereed post-conference proceedings of the Kyoto Conference on Computational Geometry ...
Lire la suiteThis book constitutes the refereed proceedings of the Third International Computer Science Symposium in Russia, CSR 2008, ...
Lire la suite